comp phil

programname/arity.pl

Question types:
run given programs with new input
find program given io
pretty print
write programs *
modify programs *
- verify
- grammars
- br ontologies, databases etc.
- induction (formula finder, program finder)
- philosophy perspectives, modify program parameters with new developed things
* assess by predicate

* 10 As for bug checking a Prolog program
- physics simulation / no breaks in flowchart11

phil and cs
- phd style agreements and disagreements with each line

put on yahoo answers with writer Lucian’s name
- with worked solutions given input